dT-Calculus: A Process Algebra to Model Timed Movements of Processes
نویسندگان
چکیده
There are strong needs for both mobile and temporal properties in process algebras designed to specify and analyze distributed mobile real-time systems (DMRS). However there is no practical process algebra with both properties. For example, there is no mobile property in TCCS with the temporal, and, similarly, there is limited temporal property in d-Calculus with the mobile. In order to solve these limitations, this paper proposes dT-Calculus with expressive power of movements of processes with temporal condition. dT-Calculus extended the basic temporal properties of synchronous process movement of d-Calculus into more specific temporal properties in order to specify and analyze the temporal property of DMRS more effectively: ready time, execution time, waiting time, deadline, etc. In order to simulate the proposed process movement with temporal properties, the SAVE tool has been developed on ADOxx Meta-Modeling Platform and demonstrates efficiency and effectiveness of the proposed approach with an EMS example. Keywords—dT-calculus; d-calculus; Process Algebra; Mobility; Time; SAVE
منابع مشابه
Process Algebra to Model Timed Movements of Processes in Distributed Mobile Real-Time Systems
There are strong needs for both mobile and temporal properties in process algebras designed to specify and analyze distributed mobile real-time systems (DMRS). However there are some limitations in those algebras to specify both movements and temporalness at the same time, such as, Timed pi-Calculus and d-Calculus, as follows: 1) Timed pi-Calculus cannot specify both the execution time of actio...
متن کاملδ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications
Some process algebras were applied to enterprise business modelling for formal specification and verification. However the algebras mostly dealt with stationary cases but the distributed and mobile. calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes. However there are some limitations t...
متن کاملA Stochastic Automata Model and its Algebraic Approach
We discuss a new model for the analysis and simulation of stochastic systems which we call stochastic automata. Basically, they are a combination of the timed automata model and generalised semi-Markov processes (GSMPs for short). We discuss their behaviour and we compare them to the GSMPs model. In addition, we deene a stochastic process algebra that supports general distribution (both continu...
متن کاملProperties as Processes: Their Specification and Verification
This paper presents a novel application of an untimed process algebra formalism to a class of timing-critical verification problems usually modelled with either timed automata or timed process algebra. We show that a formalism based on interacting automata can model system components, behavioural constraints and properties requiring proof without elaborating the underlying process-algebraic for...
متن کاملVerifying Performance Equivalence for Timed Basic Parallel Processes
We address the problem of deciding performance equivalence for a timed process algebra in which actions are urgent and durational, and where parallel components have independent local clocks. This process algebra can be seen as a timed extension of BPP, a process algebra giving rise to infinite-state processes. While bisimulation was known to be decidable for BPP with a non elementary complexit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017